Objeto libre

En las matemáticas, uno de los conceptos fundamentales del álgebra abstracta es la idea del objeto libre. De manera informal, un objeto libre sobre un conjunto A puede pensarse como la estructura algebraica "genérica" sobre A, deducida a partir de su definición: las únicas ecuaciones que se cumplen entre sus elementos son aquellas que se derivan de los axiomas de la estructura algebraica. Son ejemplo los grupos libres, álgebras tensoriales, o retículos libres.

Forma parte del álgebra universal, puesto que se relaciona a todos los tipos de estructura algebraica (con operaciones finitas). También se puede formular en términos de la teoría de categorías.